Query Answering over Description Logic Ontologies Diego Calvanese KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano, Italy Free University of Bozen-Bolzano

Source URL: www.inf.unibz.it

Scalable End-User Access to Big Data Diego Calvanese KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano, Italy Free University of Bozen-Bolzano

Source URL: www.inf.unibz.it

• Science
• Data
• Semantic Web
• Knowledge representation
• Knowledge engineering
• Ontology
• Database
• Description logic
• Information science
• Information
• Database management systems

Ontology-Based Data Access: From Theory to Practice Diego Calvanese KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano, Italy

Source URL: www.inf.unibz.it

• Information science
• Semantic Web
• Knowledge
• Knowledge representation
• Technical communication
• Description logic
• Knowledge representation and reasoning
• Information
• Science
• Ontology

Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3

Source URL: who.rocq.inria.fr

• Metalogic
• Model theory
• Predicate logic
• Structure
• Free variables and bound variables
• FO
• Arity
• Mathematics
• Universal algebra
• Mathematical logic

The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang | matthias } @ ccs.neu.edu

Source URL: www.ccs.neu.edu

• Theoretical computer science
• Lambda calculus
• Computability theory
• Evaluation strategy
• Calculus
• Free variables and bound variables
• Function
• Parameter
• Algorithm
• Mathematics
• Mathematical logic
• Applied mathematics

ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1

Source URL: clip.dia.fi.upm.es

• Constraint programming
• Logic programming
• Programming paradigms
• Actor model
• Prolog
• Constraint logic programming
• Unification
• Variable
• Free variables and bound variables
• Software engineering
• Computing
• Computer programming

Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†

Source URL: www.lix.polytechnique.fr

• Mathematical logic
• Computer science
• Denotational semantics
• Lambda calculus
• Symbol
• Combinatory logic
• Orbifold
• Programming Computable Functions
• Theoretical computer science
• Logic in computer science
• Programming language semantics

Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it

Source URL: www.inf.unibz.it

• Ontology
• Semantic Web
• Logic programming
• Non-classical logic
• Model theory
• Description logic
• Web Ontology Language
• Stable model semantics
• Semantic Web Rule Language
• Logic
• Science
• Mathematical logic

GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science

Source URL: www.itu.dk

• Computer science
• Logic
• Predicate logic
• Process calculi
• Π-calculus
• Lambda calculus
• Explicit substitution
• Free variables and bound variables
• Symbol
• Theoretical computer science
• Mathematics
• Applied mathematics

BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Computability theory
• Formal languages
• Logic in computer science
• Lambda calculus
• Models of computation
• Reduction strategy
• Standard ML
• Function
• Normal form
• Theoretical computer science
• Mathematics
• Programming language theory